int main()
{
  goto ERROR;
    
  if(0) {
ERROR:
    assert(0);
  }
    
  return 0;
}
